Fingerprint is case insensitive

Regarding #386.

I changed the `gtdata/doc/fingerprint.lua` and updated generated documentation (via `make docs manuals`) in separate commits, because I wasn't sure if generated docs go into the source tree now or when cutting a release. I also added a unit test.