A Converter from the True-Crypt format to the Veracrypt Format