Update gitignore with proviola things
WIP Proviola
Always build coqdoc for testing
Use python 2.7 on travis, for proviola
More dependency fixing
Try harder to make, also use py 3.3 for unicode
We want unicode-aware pexpect
Be more forceful about creating proviola-html
Also copy index.html
Have a separate utf8 html
Add toc.html as an output of `make html`
Go back to the old version of proviola
Default to utf8 again
Stop testing proviola all the time