added travis build and badges, fixes #4, #7