Added Travis CI config (see #48).