tests: Delete LintTest
config.default.php: Provide a simple way to set the maximum execution time