Added manifest for introspector, push-and-diff script for introspector.