Add Travis CI manifest

This is related to #19.