executor: lock mars_db file when reading/writing

This is an attempt to fix #112 (closed) by acquiring a lock when reading or writing to the given mars_db file. This will time out after 5 seconds if a lock isn't acquired, which I guess would happen if something really goes wrong with the yaml library... but just in case!