Org-Babel support for evaluating Ada & SPARK code and proving SPARK code.

  - Initial implementation + First official release
  - For more information see <https://github.com/rocher/ob-ada-spark/>