Observations: - About 10--15 minutes to complete the CI. Not very bad. - Travis does not have [skip travis] or similar. Ha.
- Do not doc-test three times in Travis, it simply takes a lot :( - Forgot that Windows shell doesn't recognize single quotes.