A bunch of view files were generated through the command rails g devise
views so that we can customize the views (sign-in, sign-out,...)