readme: Fixes typo in requirements list.
options.py: Implements choices validation for --restrict-file-names.
document.py: Updates HTMLReader.is_html_file() to match libmagic rules.