HAMLization and multiple layouts

There's now a special layout for the onboarding screens (imaginatively entitled "onboarding"), and the main layouts are now in HAML instead of ERB.