AutoDiff depends on Core, so include appropriate header.

Antonio Sánchezrequested to merge
cantonios/eigen:autodiff_header into master

Our other top-level headers include their dependencies, so this probably should too.

Merge request reports