Support custom filename pattern

[waldyrious]

I would like all screen recordings to have a well-defined name following a human-readable pattern, rather than an inscrutable hash. Ideally it would be user-configurable, but a better fixed default (e.g. Screen recording YYYY-MM-DD hh-mm-ss.gif, as is common with other screen recording tools) would be a good improvement already.