No install target

[yurivict]

The makefile should have the install target to facilitate packaging and to make it easier for users.

[arminbiere]

Thanks, marked as enhancement.