Add a `records.is_hidden` column

[ahmadbky]

An is_hidden boolean column would be helpful to hide some records from the public.

This would mainly include records made on Benchmark maps (with their Benchmark versions), as done currently using the event_edition.non_original_maps boolean column, which requires an SQL join.

Also, it could be useful to hide the records of banned players.

The SQL view global_records must be updated to take this into account.

This simplification should improve the performance of SQL queries using the global_records view.