CMake: Add FindseL4_libs.cmake module

This adds support for importing this project via
`find_package(seL4_libs)` if the project exists in the
CMAKE_MODULE_PATH.