Add support for Michigan to commerce_checkout_view(). Change commerce_checkout_view_submit() to go to shipping if the commerce_shipping module is enabled. Move commerce_checkout_shipping_view() and commerce_checkout_shipping_view_submit() to its own module. Change commerce_cart_add_to_cart_form() to better display labels for attribute options.