2013-03-08 Francois Ripault <francois.ripault@epita.fr>
	* Data/HBDD/Operations.hs: Add replace function.
	* Data/HBDD/ROBDDContext.hs: Add a isSingleton function.
	* Data/HBDD/ROBDDDot.hs: Change the naming convention : is is now
		id left ++ id cur ++ id right (the has key). The dot files generated are
		far better !
	* hbdd.cabal:
	* Test/Replace.hs: Add test for replacement.