Changed jquery.layout to depend on jquery-ui, so that users can resize the
panels.

Also some code formatting.