Principia: proof and formulate

[Clint Byrum]

I just checked some new functionality into principia's trunk:
(lp:principia)

You can create a skeleton formula for any package from inside the
principia tree with:

scripts/formulate packagename

This can be thought of like 'dh_make' in debian packaging.

You can check to see if it makes sense with

scripts/proof packagename

This can be thought of like 'lintian' in debian packaging.

Have fun!