this makes the link visible also when browsing with a mobile

All atoms were erroneously requested also after the first step.

when using DEBUG, detailed timers were always shown by mistake.
Now they are only shown when using flag DETAILED_TIMERS

removed sentence about NOSPLINE

https://groups.google.com/d/msgid/plumed-users/4bdade66-5dde-4748-b3c2-3c6155906b69%40googlegroups.com?utm_medium=email&utm_source=footer

Small fix: do not push manual when building from a pull request

cc: @gtribello

just annoying when there are directories whose name contains a space
within the src/ directory

see #227

Notice that without the fix this test fails.

backport of 4a96057e

thanks to @valsson

Check first if astyle is present. In this way, when astyle is not compiled,
we get a single error instead of one error per file.

Thanks @hanatok!

Also this after a discussion with @marcodelapierre

thanks to @marcodelapierre