Merge pull request #97 from chsticksel/develop

Documentation update and minor bug fix
Merge pull request #98 from chsticksel/develop

Get version number from Git if possible
Merge pull request #99 from chsticksel/develop

Equality between indexed types, bugfixes
Merge pull request #100 from chsticksel/develop

Examples for supported syntax and bugfixes
Updated link to example file
Added included Lustre file
Merge remote-tracking branch 'upstream/develop' into native-input