port bccbccc9bb53cdc7f2e5238345f69fd754507595 from Pd-l2ork: finally fixed control file for both pre and post 15.10 Ubuntu due to libgsl

port b39417b3d4676fb3275aa31be934fe776718504c from Pd-l2ork: experimental improvements to the Linux build to make it compatible with Ubuntu 16.04

port fa53423e426de1b0e54ba02f080b83b541d85b35 from Pd-l2ork: experimental update to disis_gpio and small bug fix to autotune

port 4a93e8e2ae2947d2322dde5d3233a68f82873774 from Pd-l2ork: minor improvements to the build script to accomodate new miXed submodule

port 5ce8ec21291f9f2933d234d699708d1197d84d62 from Pd-l2ork: first step towards making miXed a submodule

port e3e30ff94964fddd5764fd64391dcf8216354264 from Pd-l2ork: forgot to convert configure.in to configure.ac

port d86d714a0f75d9d4b4a74725a8ed93edc4a137ff from Pd-l2ork: hopefully fixed the denormals in freeverb~ once and for all

port c87e5b00229eb17bac8dc3047cd9d5f4a42c6711 from Pd-l2ork: hopefully made build process require autoconf 2.5 or newer

port e885ea38fbe6f09d5ba38d5275444daf12077aa6 from Pd-l2ork: added redundant aclocal and autoconfig for the pd folder

port a803fe57013cdf94dc96df6dcc532f85b3b5071c from Pd-l2ork:  *fixed building of the gfsm library--needs further testing

port 2ac1f6bbb78baa51a81762d2340dd60657d65726 from Pd-l2ork: hopefully fixed shell external's occasional crash where free function is called in the middle of a process and therefore clock_delay fires with null pointer.

when selecting/deselecting individual objects on the canvas (e.g two objects where one cover the other, typically the one below would be selected/deselected first instead of the top one)

port fc1f74fd09d76a9c0bc50b148a7da15468a8653b from Pd-l2ork:  *fixed bug in midifile where its helpfile was inappropriately named, thus failing to open appropriate help file.

That whole function is a nasty mess that needs to be refactored

The fact that nwjs menubar shortcuts don't propagate to the DOM makes this tricky
The fact that OSX has its own OSX-app menu bar thingy makes it even trickier