Mac OS Changes

A few changes to make launching protege 5 from run.command work a bit better
use options from run.command in run.sh.
Set icon and application name correctly.