Ada Shell - The future shell of IDOS