A Magma Package for Z4-linear error correcting codes