Split theorems.less off from base.less

theorems.less now supports all the theorem environments found in
ximera.cls and is easily extensible and customizable, even by people who
don't understand less or css.