Update stp to version 2.3.3+20220722 / rev 12 via SR 991176
    
    https://build.opensuse.org/request/show/991176
    by user jirislaby + RBrownFactory
    - fix rpath (don't use relative lib64)
    - switch python to noarch
    - Update to version 2.3.3+20220722:
      * Added reviewer's suggestions
      * Fixed the broken link on SMT-LIBv2 documentation.
      * Fix cli to disable new simplifications with --disablesimplifications
      * enable sharing-aware rewrites by default.
      * Extra simplification rule.
      * re-enabling removal of BVOR to evaluate how important it is.
      * some more simplification rules.
      * Improved simplifications
      * Faster/better Always true identification
      * First attempt at sharing aware rewrites.
      * Create 100000...
      * Nicer implementation of Always true.
      * Remove the unnecessary use of a SCARY iterator that may break on older compilers
      * Cleanup memory leaks. Nicer signed comparison on unsigned interval.
      * Nicer domain analyis