shell: This module becomes more normal

Rename cockpit.js to shell.js, since cockpit.js will be API in a
base package.

Also there's no need to list everything in the manifest. Loading
of resources happens via well known paths. The shell has such well
known paths. Loading of javascript in other packages will happen via
<script> tags. Do something similar here in the shell.

Note that the use of a lot of split javascript files that get
combined is pretty shell specific. Eventually we'll usually have
original javascript files to be loaded.

Closes #1319