Add an options table for the application

[miniwark]

General options are set in the INI file.

If we want to allow the admins user to change them from the tools, it may be better to move them in the database. Therefore, this will probably need some caching.