update to bootstrap 3.1.1 (see also #203), and use supervisor master which is py3k compat