Change author on OpenTheory packages from HOL developers to HOL OpenTheory Packager
Add hol-words: OpenTheory package of src/n-bit