Rename *.txt to *.rst

(For better GitHub rendering.)
Add a travis status badge
Make travis use tox