overcli: server options in INI file
supervisor: separate DB engine and session