Update SoSy-Lab Common Lib
Update SoSy-Lab Common Lib

This makes sure that ConfigurationOptions.txt gets a proper license
header as soon as machine-readable headers are added to the Java
sources.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt