Problems for abdullin.am@aur in AUR

Project	Package name	Problem
boolector-java	boolector-java	Homepage link http://boolector.github.io/ is a permanent redirect to its HTTPS counterpart https://boolector.github.io/ and should be updated.