Print out dehopify time.
Merge pull request #193 from frenetic-lang/print-dehopify

Print out dehopify time.