simplify and improve comment dropping in murphi2c

This is more straightforward and more bulletproof for dropping comments in
functions.

Github: related to #206 "murphi2c: preserve comments in translation"