py: expose stats_url/manager_url to js
js: fix checkboxes in forms not working
js: allow editing of servers