Frontend: Fix double profile bug in Scripts panel drop-down.

Closes #204.
Frontend: move default profile name format from ProfileHeader
implementations to ProfileType implementations. Fix the way that
profiles are linkified from URL.

Closes #199.