codet should inherit from irept

[tautschnig]

At present, codet inherits from exprt - mainly to borrow it's API. This is not an accurate reflection of reality, as "codet is-an exprt" contradicts that "a statement is not an expression."

[kroening]

#2825