Moved prettify dependency of Pre/Code into new widgets PrettyPre/PrettyCode of gwtbootstrap3-demo module