M: Git ignore pickled log files

Pickled binary files for timing logs can be ignored.