simple bibtex manager as a webinterface (running out of the box using PHP 5.3)