Remove file that nobody uses
Remove file that nobody uses

(cherry picked from commit 925bf15187352dfd572a8ed337bd81f6c07e0d73)

input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/pos-haskell-prototype,input-output-hk/pos-haskell-prototype,input-output-hk/pos-haskell-prototype,input-output-hk/cardano-sl