WebSearch, BibFormat, BibConvert: fixed isinstance

• isinstance-based comparisons of record ID type used int, not int-or-long, which made problems e.g. when adding a comment. This is fixed now everywhere in the sources.