Added OID and INTEGER interpretation to derdump.py
-rw-r--r-- 540 Makefile
-rwxr-xr-x 2984 derdump.py
-rw-r--r-- 1199 devio.c
-rw-r--r-- 1523 inputter.c
-rw-r--r-- 4646 llcio.c
-rw-r--r-- 187 nuttin.c
-rw-r--r-- 1754 outputter.c
-rw-r--r-- 2118 pcscio.c