server now directs valid freedns names (32 char hex strings ending in .freedns) to dedis page, and redirects invalid names to google.com