Encode framedumps in AVI format on linux as on windows. This adds the additional dependency of libavformat-dev. Remember if you want raw framedumps as before add -DENCODE_FRAMEDUMPS=OFF to the cmake command line.
Fix some opengl errors. Thanks to rodolfo for telling me how to fix it. He is at work or he would do it.