Added PathnameListChecker

Now pathname_list is checked. Lists of pathnames are correctly
shown in dump()
Added libmodel example
DumpOptions can be printed