Adding option names to Galaxy labels

Solves issue #5.

Adds the option names to the Galaxy labels, making more easier the references between the options.

It also follows the coding guidelines for the two changed files, so it solves partially #3.