Hex Package Management

Hex package management.
Last modified September 19, 2020: restructure all docs under new sections (6731f95)