Store the instructions in a list to prepare future random insertions.
	
	* src/inst/text_section.hh: Store the instructions in a list 
	instead of a vector to ease random insertions.
	* src/inst/text_section.cc (~TextSection, print): Use TextSection's 
	typedefs and dedicated begin and end to iterate through the  
	instruction container.
	* dev/inst-solver-gen.py: Use operator!= instead of operator< to 
	stop the iteration.