Do not use the index specification file in the Makefile
I've updated the make targets for the index creation to not use the index specification file anymore. I've also updated the examples directory with new examples for the base Curry modules.
I've updated the make targets for the index creation to not use the index specification file anymore. I've also updated the examples directory with new examples for the base Curry modules.