Add -v3 option to ghcjs-boot