Removing '/tor/micro/all' from the dir-spec

The dir-spec describes a dirport method for retrieving all microdescriptors.
While this is a fine idea it was never implemented. Moving the spec portion
that describes this to the attic for now.

https://trac.torproject.org/9271