Fix replacing $HASTE_MAIN in the startup code given by --start option.

Currently, giving a startup code containing `$HASTE_MAIN` with `--start` option is broken (`$HASTE_MAIN` is not removed from the startup code, so the emitted code becomes something like `hasteMain$HASTE_MAIN();`). This patch fixes that.