Add named references to tools in User's Manual.
Adopt MorphoDiTa change 21e5bc20.

"Default build again strips symbols and debug info."