This commit separates the functionality of the executable into a new
source file, relts.ml.