Use get_status_output from instant instead of from dolfin_utils
Merge branch 'fix-dolfin-17'