delete dead code living in devel directory.

There is no place where it is used and also some parts are already deprecated.