added printf trace examples, update js nav