dotlink.py creates a proper list of source filenames
dotlink.py creates a list of destination dotfile names
dotlink.py strips platform extensions from destination dotfile names
dotlink.py does a dummy link on link pairs