Rename all possible places to GUDstrap (as it's known now).

Update Gruntfile now that we don't build the original bootstrap along side.

Fix some double slashes in type-ef.