Added database for player times.
Modified gitignore so it doesn't load .gma files.
Added documentation for the database player time plugin.