Remove travis. This was fun but useless here.