Fixed travis configuration, added badges to README.md.