CheerpFrontend: added -cheerp-pretty-code option