Update of GambitREPL app
Add GambitREPL missing files