Switched to new bob version; added .travis.yml; corrected documentation; changed behaviour of annotations