Describe how to set up and build a juvix project. - [x] juvix basics (cf. juvix.org) - [x] What dependencies/libraries are needed? - [ ] Where can I find an example? -> Kudos application