Update Makefile.am

Use $(MKDIR_P), $(LN_S), and be more uniform about $(srcdir) and
$(srccoqdir).

This closes #184.
autoreconf -vi