Clean up code, update build environment, update Travis CI badge