Remove under-documented perf-test script

This largely was in a works-for-me only state and I have now put it in
https://github.com/tautschnig/sv-comp-ec2 instead.

Author: tautschnig