added sat4j-based analysis of feature models
added tests for sat4j-based analyses
Merge remote-tracking branch 'origin/master'