Added config option to set 'max_execution_time' for the REST server.