Fix miniblog 0003 migration bug
Fix program modules 0025 migration bug
Fix user_classes.js

This only alters the size of the "#main" div if it is marked via a
CSS class as resizable.  The main.html templates in the repository
and the generic1 theme are given this class.

Fixes #875.