reinstall rgl from source, see http://stackoverflow.com/q/19284824/946850
unconditionally install rgl
patch output
add false verification of allowed number of different files and lines
no freefont necessary; double dollar
fix difference count
output progress to avoid being killed by Travis
add comments to delimit the diff
readme
output progress as we go
store expected differences in file
bugfix
don't disturb diff
Revert "TODO: Why is this gone?"

This reverts commit 43af1c1b368081dfca8c3d510a4cc91a2e122705.
store diff --numstat instead of home-grown diff indicator
install LaTeX and dvisvgm in sysdeps
xvfb-% targets
bugfix
k prints its own command line
TODO: Why is this gone?