Function Document-System-With-Tinaa

Part of:

package asdf-install-tester
( document-system-with-tinaa < system > < output > )
Return a string with the code needed to load tinaa and document system.