Add support for mousewheel in gallery.js
remove unneeded javascript files
Further work on the source page
 It is now possible to zoom in on a specific representation of the
 source, and apply a few filters to it, or go back to the list of
 all the representations.
Rename from GeneaPro to GeneaProve, since that better reflects the goal
 of the project (and is not used by other projects yet)