added version 3.0.7.2 for pharo2, and fixed up pharo2 loading for seaside 3.1