travis-ci

1. Go to https://travis-ci.org/profile
2. Log in with Github account
3. Turn on julianhyde/optiq
4. Merge this pull request
5. Remove line 1 from README.md