TRF: Pushed the RicoDoc from Documentation to Documentation/RicoDoc and instructed Makefile to put PDF at Documentation level.