Add paragraph about keyboard shortcuts to new app intro

When people first set up Diffux, they will be presented with some
welcome text to help get them situated. Since we now have a modal that
shows you what keyboard shortcuts are available, it is nice to point
this out to new users at this time.

Change-Id: I36172fb5c9aa741bf4b267bc8486c280d4eb20a4