Use mixins in the aes.jade template

In order to make more readable the listing of variables in the jade template, a series of mixins is defined.

Besides, I introduce spacing between the diferent elements in the body to
make it more readable.