How to dump the Firefox history (Linux)