Merge branch 'develop'. This is v0.9.0.

Merge branch 'develop'. This is the new v0.8.

Merge branch 'develop'

Merge branch 'develop'. This is v0.6.2.

Merge branch 'develop'. This is v0.6.1

Merge branch 'develop'. This is v0.5.2

Merge branch 'develop'. This is v0.5.1

A necessary fix for R13B03, a new example and some internal improvements.

Merge branch 'develop'. This is v0.5.

LFE release v0.4, the last R12B development release.