Change in osmo-ttcn3-hacks[master]: library/GSM_Types: fix encoding of BcdMccMnc (3 octets)