By default, the bot now submits build jobs without any time limit, which is a problem in case the build job "hangs" for some reason. We should use a default time limit (24h?), and add a configuration option to use a different time limit.