automatic documentation update
Made SymbolicQR constructor explicit
Renamed IRKIntegrator -> CollocationIntegrator, #948
Added CollocationIntegrator to sensitivity_analysis.py example, #948
Do not install pyc files
repaired previous commit
Fixes #961: snippets in html doc not showing
automatic documentation update
Update casadi-users_guide.tex
automatic documentation update
Repair empty snippets in users guide
Tentative fix for #917, #737 - towards a cleaner build system