removing a-star benchmark

Conflicts:
	configure.ac