Increase default timeout in case travis is slow on GitHub