CTBase work to do, May 2023

[ocots]

The current release of CTBase is v0.7.1. There some things to add and update:

• clean repl branch
• print ocp
• check update: clean abstract_checks branch
• functional: checkings, one declaration...
• geo diff: see Differential geometry CTBase.jl#52 (comment) and clean diff-geometry branch
• names: close this if done
• remove ctparser.jl
• remove develop branch
• check documentation
• abstract

[ocots]

done!