Fix doctests and let TravisCI run doctests