bugfix: keep the name when loading
add a favicon
Better display of confidence intervals in Exit stat
Add icons on buttons
use consistent name for output compontents
make a function for each widget
use local resources
simpler version of JobShop that we'll merge later
fix signal handler for timeout