remove makefile
upgrade to charade v1.0.3
invoke!
cp949prover for charade