add WriteFile command

[leo-schick]

Add a command to write a sql query result to a file in a specific format.

• requires https://github.com/mara/mara-db/pull/64 (not merged yet)
• mentioned in #80, but does not require package mara_storage