configure: Add docdir configuration option