Changes for misctools/gittools at 2014-01-07 11:44:11
Changes for perftools/keynotetools at 2014-01-07 11:44:11: just give warning (no error) if script-pages.db cannot be found.