Removed use qore/options.mk. Removed doxygen
dependency from docs and moved docs location to a directory
conforming more to where the other Qore docs are installed. Since docs
have no dependecies they are always installed.
Added patch so that the .a file is not installed.