Revert master branch to master Seaside3.1 code

Keeping the Gemstone port in a separate branch and using the master branch for synchronization with the main repository is a good workflow I experienced in Zinc. In addition, it offers the possibility to setup Travis builds for Pharo and Squeak.