1. Offline HTML excluded from Qucs-S distribution (if WITH_SPICE enabled) 2. F1 shortcut points to the main Qucs-S help page at the readthedocs service. 3. Added menu etntry for the mainline Qucs help