added a way to add more functions to ginsh in the file ginsh_extensions.h