Profiling

Added profiling tool for MX virtual machine

>> CasadiOptions.startProfiling('prof.log')

$> python -mcasadi.tools.profilereport -o prof.html prof.log

Generates a local web page with statistics.