Travis integration

WIP, please do not merge yet.