Accommodate bad practices of swagger-ui library

The swagger-ui project broke backward compatibility in a number of
ways without incrementing the version number at all, it looks like.
This change brings us up to date to use the new swagger-ui API, as
well as the new version of the swagger specification itself (1.2).