added Isabelle_Process.input_bytes, which avoids the somewhat slow Standard_System.string_bytes (just in case someone wants to stream raw data at 250MB/s);
Isabelle application bundle for MacOS
=====================================
Requirements:
* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/
* Platypus 4.0 http://www.sveinbjorn.org/platypus