Per review, let's avoid having all the tools history in every GimpContext. Also a further commit will work on special-casing filter tools, which is why we are storing up to 3 tool infos, instead of only 2.