Removed obsolete logging statements.
Improved animation: now, the top of the "Number steps" label is no longer visible when not defining a protocol.
Merge branch 'master' of ssh://github/Fingerpaint/project-code