The models where created while I was testing CoCreate Modeling which I help develop with many other people at CoCreate.
I created a tool for Modeling which bulk exports models as binary STL files which can then be imported into Blender using the bulk STL import plugin.
I also made quite a lot of changes to the bulk STL import plugin for Blender. Here is my current copy.
The lego instructions can be viewed online at the brickfactory.