Renamed InsertionSequence's filename according to the new convention.
tree740fc018fa05ed24a534c0a8bd675c37eeebd5c6
-rw-r--r-- 254 .gdbinit
-rw-r--r-- 113 .gitignore
-rw-r--r-- 4082 INTERNALS
-rw-r--r-- 1128 LICENSE
-rw-r--r-- 3287 Makefile
lrwxrwxrwx 9 README -> README.md
-rw-r--r-- 5989 README.md
-rw-r--r-- 3358 TODO.org
-rw-r--r-- 7551 common.mk
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - pkg
drwxr-xr-x - src
drwxr-xr-x - tests