record: added option to suppress timestamp

useful for context-independent records - e.g. keeping track of
interesting vocabulary
record: added option for non-default file names

as before (cf. de6a6c4edff3ef6f1130a43081490348531fe6b0), this is useful
for special records like interesting vocabulary
updated aliases and terminal font configuration