fix alignment
allow session_id to be undefined when starting kernel channels
update font-awesome
genereate css
Merge pull request #6685 from minrk/allow-no-session-id

allow session_id to be undefined when starting kernel channels
Merge pull request #6669 from SylvainCorlay/font_awesome_update

Font awesome update
Merge pull request #6681 from SylvainCorlay/widget_hbox_align

Minor change in widgets.less to fix alignment issue
Add term.js to components
Basic infrastructure for terminal page
Terminal basically working

Still need to deal with things like authentication
Multiple terminals and conditional initialisation
Initial REST API for terminals
Add authentication for terminal websockets
Put terminal handlers under base_url
Don't load html.terminal for tests if terminado not installed
Use relative URL for redirect in NewTerminalHandler
Add term.js to package data for installation.
recompute dummy size dynamically + styling in css
HTML fix
Add mention of terminals in whatsnew