travis-ci: nose, rednose