This adds a brief synopsis describing what HAL is, for those who do not yet know.
The text from the README is displayed on the PyPI page for the project (as well as, once your PR is merged, in the Lektor documentation.)