Remove deprecated index_exprt constructors

These have been marked deprecated for a while and the preceding commit removes
all of their uses.

Author: tautschnig

src/util/std_expr.h

@@ -1594,16 +1594,6 @@ inline void validate_expr(const notequal_exprt &value)
 class index_exprt:public binary_exprt
 {
 public:
-  DEPRECATED("use index_exprt(array, index) instead")
-  index_exprt():binary_exprt(ID_index)
-  {
-  }
-
-  DEPRECATED("use index_exprt(array, index) instead")
-  explicit index_exprt(const typet &_type):binary_exprt(ID_index, _type)
-  {
-  }
-
   index_exprt(const exprt &_array, const exprt &_index):
     binary_exprt(_array, ID_index, _index, _array.type().subtype())
   {