New option and functionality added to use the late decision solver for pbqp.
New option and functionality added to use the late decision solver for pbqp.

[r27499]

8l/libfirm,8l/libfirm,killbug2004/libfirm,libfirm/libfirm,MatzeB/libfirm,jonashaag/libfirm,libfirm/libfirm,MatzeB/libfirm,jonashaag/libfirm,8l/libfirm,MatzeB/libfirm,MatzeB/libfirm,jonashaag/libfirm,davidgiven/libfirm,8l/libfirm,davidgiven/libfirm,libfirm/libfirm,8l/libfirm,jonashaag/libfirm,davidgiven/libfirm,killbug2004/libfirm,jonashaag/libfirm,8l/libfirm,davidgiven/libfirm,MatzeB/libfirm,jonashaag/libfirm,davidgiven/libfirm,killbug2004/libfirm,8l/libfirm,killbug2004/libfirm,libfirm/libfirm,MatzeB/libfirm,MatzeB/libfirm,killbug2004/libfirm,libfirm/libfirm,davidgiven/libfirm,killbug2004/libfirm,davidgiven/libfirm,killbug2004/libfirm,jonashaag/libfirm