goto-program interpreter: output memory map at lower verbosity

The memory map is (only) printed upon a user's request (using the "m"
command). It should not be necessary to raise verbosity to debug level
to see this output.

Author: tautschnig

regression/goto-interpreter/memory-dump/main.c

@@ -0,0 +1,4 @@
+int main()
+{
+  return 0;
+}

regression/goto-interpreter/memory-dump/test.desc

@@ -0,0 +1,9 @@
+CORE
+main.c
+s1,so,m
+^Starting interpreter$
+^__CPROVER_rounding_mode\[0\]=0$
+^\d+- Program End\.$
+^EXIT=0$
+^SIGNAL=0$
+--

src/goto-programs/interpreter.cpp

@@ -1070,12 +1070,11 @@ void interpretert::print_memory(bool input_flags)
     const memory_cellt &cell=cell_address.second;
     const auto identifier = address_to_symbol(i).get_identifier();
     const auto offset=address_to_offset(i);
-    debug() << identifier << "[" << offset << "]"
-            << "=" << cell.value << eom;
+    status() << identifier << "[" << offset << "]"
+             << "=" << cell.value << eom;
     if(input_flags)
-      debug() << "(" << static_cast<int>(cell.initialized) << ")"
-              << eom;
-    debug() << eom;
+      status() << "(" << static_cast<int>(cell.initialized) << ")" << eom;
+    status() << eom;
   }
 }