update installation instructions for GemStone and update copyright