Add Travis CI status badge, simplify test procedure a bit.