Add script to redeploy on my machine (should be adaptable to others). Also, adding thread priority to ExecutorConfig annotation, and associated Provider.