Skip instructions from virtual call removal from instrumentation

This adds a goal_filter to the instrumentation that skips over instructions
marked as originating from a removed virtual call.

Author: Matthias Güdemann

src/goto-instrument/cover_filter.cpp

@@ -101,5 +101,8 @@ operator()(const source_locationt &source_location) const
   if(source_location.is_built_in())
     return false;
 
+  if(source_location.get_java_removed_virtual_call())
+    return false;
+
   return true;
 }