Added badges and improved Travis CI configuration

Added license badge
Added codecov.io badge (and Travis CI config)
Added GitHub issues badge
Changed Travis CI config so it generates a gradle.properties file