Log Message:
tex-microtype{,-doc}: update to 3.1a

3.1
* New command \DeclareMicrotypeFilePrefix to change the prefix of the \ 
configuration files
* New protrusion patch `verbatim' to switch off protrusion and expansion in
  verbatim environments
* Improvements for \leftprotrusion

3.1a
Hotfix: font commands could be gobbled after \leftprotrusion (e.g., after \item)