Make `compile` targets a subcommand instead of a flag

[janmasrovira]

WIP

User-facing languages

Internal languages

1. dev compile core has the same behaviour as dev core from-concrete. The dev core from-concrete command becomes deprecated.
2. dev compile tree compiles to Tree and prints the InfoTable to the output file wihout any additional checks.
3. dev compile reg compiles to Reg and prints the InfoTable to the output file wihout any additional checks.
4. dev compile asm compiles to Asm and prints the InfoTable to the output file wihout any additional checks.
5. 4. dev compile casm compiles to Asm and prints the Result to the output file wihout any additional checks. TODO: should the Result be printed or something else? At the moment the Result lacks a pretty instance.

Other commands

1. The input file for juvix typecheck is now optional. If the argument is ommited, he main file given in the package.yaml will be used. The same applies to these other commands:
   1. juvix html
   2. juvix dev internal typecheck.
   3. juvix markdown.
   4. juvix dev internal pretty.
   5. juvix dev parse
   6. juvix dev scope
   7. etc.