Fixing lingeling solvetimes script
Fixing up and updating todo.sh script