Update third party software

This includes:

• TEI stylesheets
• Bootstrap (JS/CSS/Less)
• FontAwesome
• all the single JS files
• SemToNotes
• JQuery
• Isotope
• Lightbox
• Scroll top control (omitted)
• highlight.js