* NEW: When a tool in edition mode is dropped, it is reverted to normal mode (thus making the drop key a shortcut for this specific case).
* NEW: Modified tools are now regularily saved, to prevent data loss in case of server crash.