Changed configuration completion method for invalid configurations.
Introduced a feature limit for configuration completion. If the limit
(of features to check) is exceeded the simplest algorithm instead of the
default algorithm is used. The configuration editor now also works fine
with large feature models (tested with a model with ca. 2500 features).
Fixed MSPLBuilder.
Fixed FeatureHouse Composer (non composed files were build in wrong
folder with the buildConfiguration method).
Introduced SequenceFinishedListener for chain jobs.
Added some comments to the JobManager.
Fix small bug
fix bug
Merge branch 'master' of https://github.com/tthuem/FeatureIDE
fix bug
fix bug
fix bug
fix bug
fix bug
fix bug
fixing bug
fixing bug
Fixed issue #60 with multiply initialized composer extensions.
Merge branch 'master' of ssh://git@github.com/tthuem/FeatureIDE.git

Conflicts:
	plugins/de.ovgu.featureide.core.mpl/src/de/ovgu/featureide/core/mpl/job/MPLBuildProjectJob.java
Fixed import of MPL projects.
add DIMACS export for feature models
Introduced a knowValues method with	temporary literals to the satsolver
class.
Updated Sat4J core lib to version 2.3.5.
Fixed automatic build loop for mpl projects.