Use SmartMachine Base 13.3.1

 - Use PKGSRC-friendly ISC-DHCP SMF manifest