Using spring mvc for hello world html