add AST-Core with GemStone mods