Travis CI: Enable CI system, add badges to README.md