Add option to filter bot games

[Gamera]

Pretty clear, I think: it'd be nice to be able to include/not include bot games from the game finder and API. Empty bot games can pollute the game finder search results, and I certainly imagine people would love to be able to exclude bots from history searches.

It'd also be a helpful option for tools like MapRank and others that use the gamelist API.

[dgz345]

agree that it should be added to the api

[TimothySingl]

I support you too. I do not like bots. Typically, bots are designed to do the work, monotonous and repeatable, with the highest possible speed (obviously, much higher than human capabilities).