added script to build bibliomarklets.html from biblioproxy.txt