oparlvalidator/bin: removed old stuff

Already deleted in 9e04dd976c3ab5d2d7d77fc92cc0cb0c806c0d3d but
appeared again after the merge with the old repository.