Run astyle script on all source files

[giorgiobornia]

No description provided.

[giorgiobornia]

Some time during this summer we will run the astyle script on all source files.
Plus, for the future, I think we should define a test to be run by jenkins every time the master is pushed to. The test should do the following every time:
run the astyle script on all source files;
if no formatting took place, then leave everything as it is;
if some formatting took place, then do an additional commit that fixes the formatting (pushing it back to github...).

I have to think about that.

The other non-automatic alternative is to distribute the script to all developers and tell them where to put it in their local git repo (since the hooks are not tracked).

[eaulisa]

whenever you want to do it I am Okay
my fork is synchronized with the master branch
By the way now we also have MG from PETSC