Add license header

Most of Fileserver.py is derived from Kevin's idea.