Introduce Travis CI
add badges