Moved the Spinner widget to the Core plugin.

Indeed, anything that is needed by something from the Core plugin
really ought to be in the Core plugin since the Core plugin shouldn’t
have any dependency whatsoever.