Add a stupid shell script to autorun prove

I'm normally typing this stuff manually and I'm too lazy for that.