Travis integration

[giuband]

The configuration is already done, it's just a matter of configuring the website. Furthermore, the configuration also allows to keep track of coverage on codecov.io