Write PID to a file instead of stderr

Added `-rvm:PrintPID=<pidfilename>` which will let the app write its PID to the specified file. The old behaviour of `-rvm:PrintPID` writting the PID to stderr still works if the `=<pidfilename` part is omitted.

You'll need to rebuild the binaries obviously.