When both shared and static lib is requested each module should be built twice - with and without -fpic

[yurivict]

Currently all modules are built once with -fpic.

The easiest way to achieve this is to use cmake to build the project.

[arminbiere]

Dynamic libraries are not supported.

Some users seem to require '-fpic' code nevertheless.
Therefore there is this '-fpic' option for 'configure'.
These seems to be fine for those trying to build
dynmic libraries with Kissat inside.

I further want to keep the build process as simple as possible
relying on GNU make only.