Addind documents subdirectory of documentation where plain tex files can live Closes #632