Clarify that jasmine_html.js is also required before boot.js

Fix #13