(MESS) timex.c: added software list for DOCK carts. [Fabio Priuli]