Add file handling to proost

Add file handling to proost:

• New Import command
• Ability to launch proost with files.
• detection of cycles in the importation graph
• pretty printing of errors in imported files.

Needs #19 (closed).