Fix .gitignore format
Update the help system to somewhat deal with qualified identifiers
Fix .gitignore format
Delete Redblackset in favor for Rbset
Updated various READMEs
Update version and date
Update documentation for overview of mosmllib
Refresh generated HTML documentation
Minor (incomplete) update of PDF manual