finish up speaker-notes PR

PR #3863 was merged, but it wasn't finished.

This removes the special handling of speaker notes, simply informing the user that speaker notes require local require.js.

It also renames the alias name for reveal.js url prefix to something more descriptive (reveal-url).