README slightly modified for travis-ci