Introduction of path and paths types

This version introduces path and paths data types to make it easier to handle pathnames in SoS. The path type is derived from pathlib.Path and now has a lot of functions, while the old format strings are kept.