Some additional debian build stuff fixed for alethzero rename.
CMake install executables with make install.