Adding travis-ci, etc. badges.