Share patches and distinfo, overwrite for gnuradio-howto as the only exception. Fix gnuradio-core-docs to do something useful and mark it as user-destdir ready.
