[CMake] Fix `install()` commands (#8879)
This fixes two issues related to `install()` commands:
- It removes the installation of object files from the parser. Before,
`make install` would add unnecessary object files to the library
directory.
- It ensures that all artifacts related to the `cvc5` target are
installed in the library directory. DLL files [count as `RUNTIME`
artifacts](https://cmake.org/cmake/help/latest/command/install.html),
so `libcvc5.dll` was not installed in the `lib/` directory with `make
install`.