New personnel search activated

New personnel search tool activated on the http://www.ethz.ch main page.

The old Filemaker-based personnel search tool suffered from an increasing number of problems lately, so we have replaced it with a new search tool (which is still being developed).