mildly cleaner profiling code in util::time
scripts from inactive pipelines resize upon navigating to their pages
auto merge of #559 : tkuehn/servo/master, r=metajack

r? @metajack this includes the rust-azure pointer change