removed old files, including Bij,Bencode and some Meta{KB,Prover,...}; removed some deprecation warnings