Commands request to be reorganized
This is a reminder issue for reorganization of code of ide and server commands which could be unified (but are currently in two separate worlds). Relevant variables are command_table (server_utils) and ide_command_table (why3ide).