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
automatic casadibot merge