Added basic travis ci logic (build and html proof)