(Introduce an eclipse builder to generate cards automatically)

As long as JavaSE-1.7 is installed, this should work. If it does not, do
not hesitate to deactivate the builder and commit its deactivation, we
would find a fix afterwards.