Gröbner bases in MuPAD: state and future