Cabalize and move options out of Main
.gitignore dist/