Initial user doc push

folder user_doc contains the files needed to edit the user_doc. It was
created using Miktex. I believe Latex can also be used to edit it.