Refined Travis-CI configuration. Show Travis build status in README.