Maxima: 5.31.3

Closes #546.
Update ASL to 20131209.

Closes #557.
openni 1.5.7.10

Closes #558.