DEPRECATED; replaced by https://gitlab-ext.sigma-chemnitz.de/elito/misc/elito-decode-definitions + https://gitlab-ext.sigma-chemnitz.de/elito/misc/elito-decode-registers
