Simple PHP thing, for comparing several machine translation outputs.