[Dev] Improved the DB manager command-line utility (now relying on readline).