DEPR: deprecate html.border option
Use display.html.border instead

 - [x] closes #15793 
 - [x] tests added / passed
 - [x] passes ``git diff upstream/master -u -- "*.py" | flake8 --diff``
 - [x] whatsnew entry
