Update documentation; add executable