Encoders: Add getter and setter for raw encoder value

Fast as possible:

def value(self):
    return self._pos

def set_value(self, value):
    self._pos = value

encoders/encoder.py

@@ -29,6 +29,11 @@ class Encoder:
             self._pos = round(value / self.scale)
         return self._pos*self.scale
 
+    def value(self):
+        return self._pos
+
+    def set_value(self, value):
+        self._pos = value
+
     def reset(self):
         self._pos = 0
-

encoders/encoder_portable.py

@@ -34,3 +34,9 @@ class Encoder:
         if value is not None:
             self._pos = round(value / self.scale)
         return self._pos * self.scale
+
+    def value(self):
+        return self._pos
+
+    def set_value(self, value):
+        self._pos = value

encoders/encoder_timed.py

@@ -51,6 +51,11 @@ class EncoderTimed:
             self._pos = round(value / self.scale)
         return self._pos * self.scale
 
+    def value(self):
+        return self._pos
+
+    def set_value(self, value):
+        self._pos = value
+
     def reset(self):
         self._pos = 0
-