Proteus library installation