fix: delete theia from sudoers

start.sh

@@ -13,6 +13,8 @@ node deadlock/recorder.js &
 #set -T
 #shopt -s extdebug
 
+deluser theia sudo
+
 su theia --command "python setup_trace.py"
 
 # starting theia as THEIA