Add INSTALL file

Signed-off-by: Johan Commelin <j.m.commelin@gmail.com>