Add workflow_dispatch trigger to push.yml

Author: bvernoux

.github/workflows/push.yml

@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch:
   pull_request:
     branches:
       - master