Profiling in lieu of time::time, rm util alias
ProfilerMsg ==> ProfilerCategory; all enums end in Category; added const NUM_BUCKETS; other minor changes
comment on updating NUM_BUCKETS in time.rs
auto merge of #478 : tkuehn/servo/profiling, r=pcwalton
Add underline to layout and gfx.
Added underline test
Fix rebase issues
Clean up code a little
Fix style issues
Better propagation of text-decoration, though still not perfect. Also, boxes now cannot be merged if they have different text-decorations.
Removed unnecessary FIXME
auto merge of #481 : eric93/servo/underline_tweak, r=metajack

Fix style problems with last PR. Also better propagation of text-decoration.
Remove unused 'mut'
Cleanup dynamic freeze scope artificially extended warnings
Unweird 'pub' token
auto merge of #483 : oncemoreification/servo/fix_some_warnings, r=brson

Less yelling: https://github.com/mozilla/servo/issues/455