Size of scale improved

Never scaled to 0, 0.
Removed obsolete function
Partial conversion of element attributes to numbers

With full widget attributes.
Further progress converting element attributes
Element attribute numbers auto-update

When element's position or dimensions are altered.
Element attribute numbers update during drag

Left and top attributes updated while dragging.
Element attribute numbers maintain size

When copied.
Element attribute numbers have 'decimal' format

Also renamed for clarity and re-ordered some functions.
Element position attributes adjust for drag offsets

Values while dragging are no longer affected by where in the element the
drag started.
Optimised tiny timeouts

Since JavaScript imposes a minimum of 4 milleseconds
Optimised the run queue

To check time less frequently and to use the new timeout function.
Element attribute numbers stacked only on backside

When a copy is placed elsewhere it is no longer an infinite stack.
De-optimised for better animation

A robot adding one on the back of a picture was animating choppily.
Added an element test to test programs
Commented out unused code

Used only by old test suite
Replaced new Date().getTIme() with Date.now()

Faster and clearer
Added and integrated a queue library

Much faster (and also clearer code).
Updated compiled version and compile script
Merge pull request #193 from ToonTalk/master

Updating gh-pages to master