Rename algebra/fin_maps.v -> algebra/gmap.v

Also remove some superfluous map_ prefixes.
2 jobs for master
Status Job ID Name Coverage
  Test
passed #305
coq
buildjob

00:03:20

passed #304
coq
buildjob

00:03:34