FIX oversight in calling onStop when overriding onPause
(This causes crashes when quickly and repeatedly press [Back] button!)
Add button to open generated PDF
Add Intent.VIEW to consent-to-compile activity intent-filter (to allow open TeX file from file explorer)
Allow user to pick the engine in consent-to-compile (dialog) activity
Style log line directly using Spannable instead of fromHtml