included actual remote prod dump before update; updated specs for fin2res data-import (tokenizer part)
Merge branch 'master' of https://github.com/steveoro/goggles
prod. data fixed, diff applied, dump updated; added is_year_guessed to swimmers; new DB vers. 1.16.25