Always include polarssl in dist

This is necessary since POLARSSL_SUBDIR
can be empty when configuring --with-system-polarssl, running
make distdir and building an rpm from that distdir afterwards.