cabalize tests and improve travis integration