* Rename a couple of files in debian/ to debian/jabref.foo for consistency.