Added profiling tool for MX virtual machine

>> CasadiOptions.startProfiling('prof.log')

$> python -mcasadi.tools.profilereport -o prof.html prof.log
Propagate zeros

transpose(zeros) -> zeros
reshape(zeros) -> zeros
vertcat(zeros) -> zeros
vertsplit(zeros) -> zeros
Profiling tool: fixed error in counting calls
Profiling tool: added dotgraph drawing
Enabling profiling for collocation and newton implicit solver
Profiling: refactored the way that profilereports builds up a database
Some work on profiling
Zero propagation: adding suggestions by Joel
Profiling: adding library; attempt to fix for ubuntu 32bit
Merge pull request #832 from casadi/zeropropagation

Zeropropagation
Profiling: default off
Profiling: add RT library only when it is found
Merge pull request #831 from casadi/profiling

Profiling
automatic documentation update
automatic casadibot merge