install: Improve GPL display

Use <pre> to display the GPL license instead of a hacked <textarea>.
It's scrollable and non editable, and looks better thanks to bootstrap
default CSS.
install.lib.php: Fix whitespace and indentation
install: Use correct .radio class in Step 5

Radio buttons were styled as checkboxes because the wrong bootstrap
class was being used.
manual merge