Travis CI initial configuration + LICENSE + README edit

That is not a problem of `ptest.sh`. We should make the `main` module terminate with an error on a bad program. Then, some bash equality test is enough.