Add Workflow dispatch for docker builds

Author: Abdul Rabbani

.github/workflows/on-master.yaml

@@ -1,6 +1,7 @@
 name: Docker Build and publish to Github
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - statediff