Updates for release 3.7

Update for release 3.6

Update version number for 3.5

Updates for release 3.4

Update for release 3.3

Added type annotations for exported program. (AbsInt#50)

Added types for global_definitions in order to avoid problems with
implicit parameters. This should fix issue 215

Update documentation index for release 3.1

Release 3.0.1 here we come

Release 3.0 here we come

Update Changelog for release 2.7.1