Update copyright headers.

theories/ars.v

theories/assoc.v

theories/base.v

theories/collections.v

theories/countable.v

theories/decidable.v

theories/fin_collections.v

theories/fin_map_dom.v

theories/fin_maps.v

theories/finite.v

theories/fresh_numbers.v

theories/lexico.v

theories/list.v

theories/listset.v

theories/listset_nodup.v

theories/map.v

theories/mapset.v

theories/natmap.v

theories/nmap.v

theories/numbers.v