Feature: specific file extensions can be 404ed.

Added "dis_ext", which is a list of file extensions that, when
requested, causes the server to respond with a 404 Error. This
is particularly useful when we want to have Python scripts in
the web directory but don't want them to be sent out as text
files.