fix openbugs url

openbugs.info seems to have disappeared, now at openbugs.net