Added the user guide to the TFOCS distribution itself, so that the Github package is complete.