Implement a simple platex compiler (which actually wraps system 'platex' command).