update KConfigReader frontend

speed up writing completedconfig by using the .dimacs fm
this requires to update to a new version of the featureexprlib