Added missing html.sty (not part of TexLive) #1016
Updated user guide title #1016
Updated user guide intro
Updated installation instructions #1016
Updated text on symbolic framework #1016
Updated integration chapter in user guide #1016