Add start script for Binder

Author: ktaletsk

binder/start

@@ -0,0 +1,12 @@
+#!/usr/bin/env python3
+import sys
+import shutil
+import os
+
+argv = sys.argv[1:] + ['--config', 'binder/jupyter_notebook_config.py']
+print(argv)
+
+with open('startup_args.txt', 'w') as fid:
+    fid.write(str(argv))
+
+os.execv(shutil.which(argv[0]), argv)