Suggestion: custom match time limit

There's this issue when it comes to bot matches where the match never times out, no matter how long the match runs. I could run it for an hour and the bot just looks plain silly with its harvester si...