adding arduino encoder library