Use 'dot' instead of '*' in the ds integral terms to work around Firedrake issue #256.
Reduced the time-step to 50 seconds.