Moved prettify dependency of Pre/Code into new widgets PrettyPre/PrettyCode of gwtbootstrap3-demo module
Outsourced some duplicate code in Pre and Code
License header
Bind JavaScript events on onLoad() of widgets (issue #57)