First try at search. Can be made more beautiful by more monoids.
small fixes
Partial merge of frontend fixes.
Refactored four lines into one. :)
TODO updated
Gets configuration options from the command line
hmpf --port=8000 --static=static