ci: remove unused old ci scripts (cherry picked from commit 24d175621b7ca6a218c7150ac47ea296f0766fa4)
2018-07-27T16:40:44