change url of openbugs from openbugs.info to openbugs.net

It seems that the url in the bugs example is not correct for now.  It is updated by using `sed` to replace it with correct one.