Update and rename OmniGraffle Professional

Due to #846, the existing omni-graffle cask must be renamed to OmniGraffle Pro