Library Rename to Prevent Conflicts

[rickmark]

Redex produces libtool.so/dylib and libresource.so/dylib - When these are installed they are very likely to cause confusion as there is a standard binary called libtool. This patch changes these to be more appropriately libredexTool.so and libredexResource.so.

Also included is the FindRedex.cmake script from Mariana Trench that should be installed to allow for cmake style find_package(Redex)

[rickmark]

#773