Replace ActionMan with PanicSans

PanicSans is a derived work of the open source Bitstream Vera Sans,
so it should be acceptable for us to distribute.

Discussion here: https://groups.google.com/forum/#!topic/coda-users/jcQQYIeZCz8