Using Frama-C v29

This release is an update of dependencies and uses Frama-C version 29. This breaks backwards compatibility with previous Frama-C versions.

v0.1.1

The entry point does not need to be main any longer. It can be given as an option to the plugin.

Limited capability release

This is the first release of the Saida Frama-C plugin. As stated in the README there are limitations to the contract inference capabilities, but it is hopefully usable despite them.