Use system-filepath package and refactor B.File
Remove dependency on 'either' and its dependencies

* MonadRandom
* comonad
* either
* semigroupoids
C compilation example