Revert "Merge branch 'master' of github.com:tthuem/FeatureIDE"

This reverts commit e95f6df9d567526708a78528d640527b81064b68, reversing
changes made to 6bf3607aac10cfac4d8270ecb7fb3e1b0f9c2ca4.