Fixing CI

• Fixed .gitlab-ci.yml
• Fixed print-coveragy.py
• Enhanced eraser-base/build.gradle
• Fixed bug in eraser concerning timezones in DateTimeItems

eraser-base/src/main/jastadd/Item.jrag

 aspect ItemHandling {
 
-  private static final java.text.DateFormat DateTimeItem.FORMAT = new java.text.SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss.SSSXXX");
+  private static final java.text.DateFormat DateTimeItem.FORMAT = new java.text.SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss.SSS") {{
+    setTimeZone(TimeZone.getTimeZone("UTC"));
+  }};
 
   //--- getStateAsString ---
   syn String Item.getStateAsString();