removed max stable set inequ. added path and clique-path constraints. added experimantal alternative equal-color inequ. --------------------------------------------------------------------
removed max stable set inequ. added path and clique-path constraints.
added experimantal alternative equal-color inequ.
--------------------------------------------------------------------

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