Removed hcentering and vcentering options, since they are not supported by all versions of geometry.
Added documentation for HOL-SPARK