get errors from prob after unit analysis, only insert the results into the rodin db if no errors occured
update log message for unit analysis
removed old todo item
okay, error handling is done in the animator. no need to do it here.
animator is shut down by the activation once rodin is quit. no need to do it here.
add missing parameter to constructor, to prevent calling the default constructor
Merge branch 'develop' of github.com:bendisposto/prob into develop
Merge branch 'develop' of github.com:bendisposto/prob into feature/units
tried to move unit analysis to its own plugin. there are remaining references in the translation/core.